$\forall$$g$:Group\{i\}, $a$:$\mathbb{Z}$, $e$:$\mid$$g$$\mid$. $a$ x($\ast$;e;$\sim$) $e$ $\in$ $\mid$$g$$\mid$